Satistiability problem
[计] 可满足性问题
🧩 词语组成解析
🗣️ 情景例句
My last name is Chen. C-H-E-N.
我姓陈，C-H-E-N。
His eye is swollen, Does it hurt?
他的眼睛肿起来了，疼不疼？
There's a zoo in the park. We can go and have a look at the animals.
公园里有个动物园哩。我们可以去看看动物。